Float runtime: specialice for Int and Float