No matches were found for subject:"\[PHP\-DEV\] Bug #10727 Updated\: print\(\(2.3 \* 100 % 100\) . br\\n\); does not print 30 but 29"