Fix int <-> double