Do we not need to handle double any more?