use BIPUSH for small values