turned on alt floating point formatting