Special handling of doubles on MySQL