reopen #4: fix ceiling from values