See https://bit.ly/3CyeyNP

This commit also fixes cases where verification of constants failed by
either using `double` or fixing the stubbed constant name.