floating-point operation

The dictionary is not reachable right now — try again in a minute.