Module Stdint__Infix