fix is_integer
Passed
Frederik Hennig
created pipeline for commit
d1fbfddc
, finished
1 related merge request: !400 Extensions and fixes to the type system
2 minutes 52 seconds, queued for 3 seconds