-- Andreas 2021-02-03
-- Coercions pragma only applicable to ordinary base category.

coercions Integer 2;