Ticket #1334: Fixing float issue in FF.