[admin] added ieee-floats; owned by mhaverbeke