Type inference chooser

Pure PHP in a mod function:
Int -> Real -> Int
Rawr:
Int -> Real -> Real