fix #3412 (rational type is non-functional for Int < 64 bit)