Make getInteger() inclusive of both endpoints