div

There's no need to copy because we aren't going to change the innards of the number. The `Float`s are immutable. (So, you wouldn't make a copy of an integer, like 4, before returning it, right?)