Fixed wrong type-conversions when pushing integers