User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-5150073-20140915191941/@comment-5150073-20140915195803

If there are no restrictions on "b" - then it's just an ordinal which is different from "a".

Also, all numbers in the program will be represented in the form "1+1+1+...+1+1+1", so no problems here.