A numerical code generator