Add scale annotations to integer type
First step towards measure theory
Dozer