Warn about non integer profile arguments

fixes #998