Meh, let's just use doubles :(