Fix typing of floor/ceil
Passed
Frederik Hennig
created pipeline for commit
d93c549c
, finished
Related merge request !406 to merge fix-rounding
22 minutes 27 seconds, queued for 3 seconds