Symbol: int26p6_to_dbl