Add specs + Fix dialyzer warnings + Add support for float values