Add translation for DoubleFloat type. Code style fixes.