Computer Number Systems in ACSL On Demand