Bounded integer arithmetic on real hardware executes in constant time per operation, which uniform-c...
This proposition has not been edited since the history system was added.