I assume this is a valid transform for floating-point numbers.