In speed terms, there's no difference between float and double on the more modern hardware.

Each guest has her own single room, or shares, on request, a double room.

We'll have to double up on books; there aren't enough to go around.