For software which require very high precision, such as CAD modeling software like Solidworks, what representation is used?