% fix #4 integer cast warnings on 64 bits