option-type: double compatibility