replaced DECIMAL by NUMBER type