add coverage tests, tweak error messages

9 jobs for port-float-symbol-method in 394 minutes and 30 seconds (queued for 56 minutes and 25 seconds)