Natural/toInteger +1