Add data-binary-iee754
Add initial tests for NumberFormat
Minor naming tweak