Thanks for documenting this Google! NOT!

The proper way to convert device independent pixels to device pixels on Android. While the scaling formula works, this looks cleaner and is probably more “future proof”.