Improved push instructions by removing unnecessary big int allocations
and by making it int instead of big.Int