Used to express the floor price of a capped put.
See FloorPrice(1200) for complete definition.
Used in: