Fix cumulative rounding error
Fixed the domain to respond pesimistic reality
TODO: fix tests accordingly