Ultra-arithmetic. I: Function data types
scientific article; zbMATH DE number 3776169