Costabs-CoFloCo-TypedNorms/bigints_add.abs:8:56:Function ceil cannot be resolved.
def Pair<Int, Int> split(Int n) = Pair(n % word_size(), ceil(float(n/word_size())));
-------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/bigints_add.abs:8:34:Type <UNKNOWN> does not match declared type <UNKNOWN>.
def Pair<Int, Int> split(Int n) = Pair(n % word_size(), ceil(float(n/word_size())));
---------------------------------^
Costabs-CoFloCo-TypedNorms/bigints_add.abs:8:0:Cannot assign ABS.StdLib.Pair<ABS.StdLib.Int,<UNKNOWN>> to type ABS.StdLib.Pair<ABS.StdLib.Int,ABS.StdLib.Int>.
def Pair<Int, Int> split(Int n) = Pair(n % word_size(), ceil(float(n/word_size())));
^

Compilation failed with syntax errors.