An implementation of the IEEE 754-2008 standard