python typing literal float