Indeed. So then 42 ~~ "42.0" would probably be true. I need to get 5.10 installed. I wonder how long before the ubuntu devs will have it ready.