Infix declaration: digit or integer?