Int derives from Float