Subbed float64 for float128