(=> (Volts-Per-Division $X $Y) (Electronic-Device $X)) (=> (Volts-Per-Division $X $Y) (Real-Number $Y))