In an options cover sum – when the lot size is given & in rounding down – an uncovered portion arises  – but what to do when we round up? (unlike futures where we square off the position, thus this question ...