Oops again! When creating or opening a project, re-editing the project settings, the “floating point” and “printf enabling floating point” checkboxes have no effect – forgot to process them. Now solved and committed.