[math-fun] Yet more about A027623