Fix #1135: AgaviNumberValidator does not allow "double" as type name