@date -> @since
native Int.div