Floating Point precision control via float_precision