#28 adding test for MpDouble.size()