I made 40 release yesterday by mistake. Let's use 40.0 instead to
ensure the correct sort order.

Fixes: #1807