Control: severity -1 important I've uploaded 1.12 to unstable. Let's see whether the situation has been changed a little bit for armhf. Floating point precision is sometimes flaky indeed, but I think this would not be that fatal. So changing the severity down to important. If the flaky test no longer appears, I'll close it.
