rusk: integer -> number