Probably many bugs.

Knowns bugs:

The overflows/underflows are not yet implemented in all functions.