SINGULAR_4_1: typeof for cnumber