Converts a Vector3_Float16 to a Math.Vector3, exactly.
Vector3_Float16
Math.Vector3
vector3_float32 :: (v: Vector3_Float16) -> Vector3