Modules AddExtra, AddGuaranteed and AddNUmbers