[Bug: 21.4.13] Arithmetic error in w3