<div dir="ltr">I would be OK with including 1.5 just for completeness' sake.<br></div>