double ((
warning or raising an exception ?