Logical characterizations of recurrent graph neural networks with reals and floats