Are you sure that (1.0 - time_spent) executes in constant time? Or that sleep() is precise enough?