Why not drop `0.0` here and below?