The distance from the right edge to the first unpadded pixel, in physical pixels.
@override final double right;