alt/base_var_alt3.nit:35,6--7: Type error: expected Int, got Float