floor and ceiling definitions are not code equations -- this enables trivial evaluation of floor and ceiling
floor and ceiling definitions are not code equations -- this enables trivial evaluation of floor and ceiling

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle