Specification

Print
1/2 double