Introduction
Tutorials
Modules
Interfaces
Acknowledgements
References
Returns the upper bound of a Value