fix ambiguous int_val call (cast)