error. Catch this in BUILD-RATIO and signal a divide-by-zero error. Based on the bug report and patch by Wolfhard Buss.