Document the decision to assume that the cost of floats is twice as much as integers.