[Paul-Craft]

Nitpick: they're actually arbitrary precision. There's no such thing as "infinite" precision on a real machine. This does actually matter on occasion.