Fix broken float64-conversion.

Note to self: I have no idea why this was acting up. There are other
assignments which don't require the same fix as this one did.