The short answer: no, there is not.
float is the most concrete representation of a float value in typespecs.
Integers not only have pos_*, non_neg_* and neg_* subsets, but also integers as well as integer ranges are allowed as literal values within typespecs. Given the latter having access to the former makes sense. Literal float values are also not supported for float values though.
