mozilla/servo — pull request #933 by saneyuki (2013-09-13 15:39:48+00:00)
Title: Use !is_float.is_none() instead of is_float.is_some().

Fix.