Refactor the [int] type to use [val_to_Z]..

2 jobs for ci/refactor_int in 24 minutes and 49 seconds (queued for 3 seconds)