Simple JavaScript-based IEEE 754 Encoders and Decoders