RMI: Number types