to_int() public

As int is already an Integer, all these methods simply return the receiver.

Show source
Register or log in to add new notes.