-- Andreas 2021-02-03 -- Coercions pragma only applicable to ordinary base category. coercions Integer 2;