issue #1712: DPI return integer on android.