* @return The proportional width specified by this property, or 0 if no
* proportional width was specified.
*/
public double getValueProportional() {
if (value() instanceof FnProportionalColWidth) {
final FnProportionalColWidth function =
(FnProportionalColWidth) value();
return function.evalNumeric();
}
return 0;
}