Remove extended precision floating point numbers.
Merge pull request #29 from mdboom/floating-point-simpler

Remove extended precision floating point numbers.