Better implementations of bounded values