[Leather 006] abstract number programming