mathlib3

fix(int/basic): change order of instances to int.cast

#877

Merged