Use 'double' to avoid issues with 'Real' and finite precision literals.