math: Mathematical routines

There will be a real-number type implemented here.