Symbol: double2short