Don't use pretty fractions on ldpi by default

Also, f*ck you, auto-formatter!