SINGULAR_4_1: string(cnumber), etc