[yonatan8070]

There are techniques for arbitrary precision math (lookup BigNum), I assume they're used there for some of the things

[kaba0]

That would probably be infeasibly slow.

There is a whole field of CS that deals with minimizing error when doing floating point math. They just probably use decent algorithms/encoding.