`0:10.$-1+2^32