added sipush for big ints, which gets pass for core113