Documentation of a simpler method to cast numbers