Fix return values of pushint/pushuint. Add padint.