Use of very large real constants cause failures in proof generation in WP (#507) · Issues · pub / frama-c