Refresh optimisations: avoid floats.

The price for this is the assumption reltime() returns a list of
integers [high, low].