Add various numbers type in servo_util