Beaf Numbers

Numbers defined using BEAF.