switched to plutoo's float24 code