Floating-Point Numbers in Residue Number Systems