explicit cast to `float_64`?