And do not forget about the integer case