sp.floor
/sp.ceil
were not recognized by the TypeAdder
.
Merge request pipeline #67656 passed
Merge request pipeline passed for d93c549c
added Bug label
requested review from @holzer
assigned to @da15siwa
approved this merge request
merged
mentioned in commit 91a3f355