Fixed bit width of writedata in .sv interface; moved floating point stuff from device driver to user program