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