Right. You can know these abstract properties though without knowing how a float is actually represented in memory.