data/gap-factint-1.6.3+ds/lib/general.gi:911: nNumber ==> number
data/gap-factint-1.6.3+ds/lib/general.gi:926: nNumber ==> number
data/gap-factint-1.6.3+ds/lib/general.gi:938: nNumber ==> number
data/gap-factint-1.6.3+ds/lib/general.gi:950: nNumber ==> number