Dejó de utilizarse a partir de la decimalización de 1957.