Subbed float64 for float 128